Environment and Agreement Technologies

Environment and Agreement Technologies

The notion of Multi-Agent System (MAS) environment, as remarked by recent literature, has gained a key role, becoming a mediating entity, functioning as enabler but possibly also as a manager and constrainer of agent actions, perceptions, and interactions1 while addressing the requirements of openness and scalability. According to such a perspective, the environment is not a merely passive sour...

Environment and Agreement Technologies

A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR

Next generation networks will comprise different wireless networks including cellular technologies, WLAN and indoor technologies. To support these heterogeneous environments, there is a need to consider a new design of the network infrastructure. Furthermore, this heterogeneous environment implies that future devices will need to roam between different networks using vertical handover technique...

A novel computational procedure based on league championship algorithm for solving an inverse heat conduction problem

Inverse heat conduction problems, which are one of the most important groups of problems, are often ill-posed and complicated problems, and their optimization process has lots of local extrema. This paper provides a novel computational procedure based on finite differences method and league championship algorithm to solve a one-dimensional inverse heat conduction problem. At the beginning, we u...

Digital Competencies Of Teachers In The Transformation Of The Educational Environment

The purpose of this study is to determine the main directions of development of digital competencies of teachers to ensure a quality educational process in the transformation of the educational environment. The relevance of this study is due to the need to determine the main directions of development of the education system for adaptation in the context of digitalization of society. It is estab...